A Survey of Revision Approaches in Description Logics
نویسندگان
چکیده
Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approaches in the theory of belief revision have been applied to deal with this problem and most of them focus on the postulate or logical properties of a revision operator in Description Logics (DLs). However, there is no coherent view on how to characterize a revision operator in DLs. In this paper, we lay bare the assumptions underlying different approaches for revision in DLs and propose some criteria to compare them. Based on the analysis, we give our definition of a revision operator in DLs and point out some open problems.
منابع مشابه
A Survey of Paraconsistent Logics
A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest’s logic LP, the logic RM3 from the school of relevance logic, da Costa’s logics Cn, Jaśkowski’s logic D2, and Subrahmanian’s logics Pτ . A deontic logic ...
متن کاملتأملی انتقادی در «منطق تعریف مناطق» و «رویکردهای مرسوم در مطالعات منطقهای» (مطالعه موردی:«خاورمیانه»)
Naming the regions and demarcating the boundaries of a land are not merely a neutral label to be pinned to a geographical region so much as a logic emanated from the research approaches to that region. That is, names of different regions should be regarded as “concepts” rather than “names.” Reciprocally, prevalent approaches in regional studies influence upon geographical demarcation and expans...
متن کاملA Stratification-based Approach for Inconsistency Handling in Description Logics
Inconsistency handling is a central problem in many knowledge representation fields, such as belief revision, belief merging. Many approaches have been proposed to handle inconsistency in ontologies. In this paper, we propose a stratification-based approach for inconsistency handling in description logics (DLs), a family of ontology languages. This approach consists of two steps. In the first s...
متن کاملA revision-based approach for handling inconsistency in description logics
Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches were proposed to deal with this problem based on existing techniques for inconsistency management. In this paper, we first define two revision operators in description logics, one is called the weakening-based revision operator and the other is its refinement. The logical prop...
متن کاملAn ABox Revision Algorithm for the Description Logic EL_bot
Revision of knowledge bases (KBs) expressed in description logics (DLs) has gained a lot of attention lately. Existing revision algorithms can be divided into two groups: model-based approaches (MBAs) and formula-based approaches (FBAs). MBAs are fine-grained and independent of the syntactical forms of KBs; however, they only work for some restricted forms of the DL-Lite family. FBAs can deal w...
متن کامل